Measuring and modelling concurrency

Measuring and modelling concurrency

This article explores three critical topics discussed in the recent debate over concurrency (overlapping sexual partnerships): measurement of the prevalence of concurrency, mathematical modelling of concurrency and HIV epidemic dynamics, and measuring the correlation between HIV and concurrency. The focus of the article is the concurrency hypothesis - the proposition that presumed high prevalen...

Modelling Concurrency with Quotient Monoids

Four quotient monoids over step sequences and one with compound generators are introduced and discussed. They all can be regarded as extensions (of various degrees) of Mazurkiewicz traces [14] and comtraces of [10].

Modelling Concurrency with Comtraces and Generalized Comtraces

Comtraces (combined traces) are extensions of Mazurkiewicz traces that can model the “not laterthan” relationship. In this paper, we first introduce the novel concept of generalized comtraces,extensions of comtraces that can additionally model the “non-simultaneously” relationship. Wethen study some basic algebraic properties and canonical forms of both comtraces and general-<lb...

Modelling and measuring volatility∗

Measuring Concurrency of Regular Distributed Computations

In this paper, we present a concurrency measure that is especially adapted to distributed programs that exhibit regular run-time behaviours. Such programs are frequently obtained by automatic parallelization of sequential code. This measure is based on the antichain lattice of the partial order that models the distributed execution under consideration. We show under which condition the measure ...